pdnf and pcnf discrete mathematics